Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
841	UCHPC – UnConventional High Performance Computing for Finite Element Simulations Stefan Turek, Dominik G¨ oddeke, Christian Becker, Sven H.M. Buijssen, Hilmar Wobker Applied Mathematics, Dortmund University of Technol Add to Reading List Source URL: www.mathematik.uni-dortmund.de Language: English - Date: 2010-02-28 15:48:21 Parallel computing Numerical analysis Partial differential equations Numerical linear algebra Computer architecture Multigrid method Lis Computational fluid dynamics Multi-core processor Computing Concurrent computing Software
842	Data Linking Box 1: A simplified example of probabilistic linking The following example is taken from the Statistics New Zealand Data Integration Manual. It looks at two records on two different datasets to see whether t Add to Reading List Source URL: nss.gov.au Language: English - Date: 2014-07-17 21:43:55 Computer algebra Data management Record linkage Record Data set Linked data Statistics Probability Information Data Science
843	Data Linking A record may be missed or a link error may occur (a ‘false link’) for three main reasons. First, the source data may contain missing or incorrect values on key linking fields. Poor quality data used to l Add to Reading List Source URL: nss.gov.au Language: English - Date: 2014-07-17 21:43:55 Biostatistics Statistical theory Computer algebra Data management Record linkage Linked data Data quality Type I and type II errors Sensitivity and specificity Statistics Science Information
844	Developments in the use of Mathematica for Computable General Equilibrium analysis Stuart John Nettleton Centre for Energy Policy Research, University of Technology, Sydney, PO Box 123, Broadway, NSW, 2007, Australia. Fa Add to Reading List Source URL: www.iioa.org Language: English - Date: 2010-04-28 19:56:41 National accounts Computer algebra systems Macroeconomics Data analysis Computable general equilibrium Gempack Mathematica GTAP Social accounting matrix Mathematical software Science Application software
845	A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh Add to Reading List Source URL: synrc.com Language: English - Date: 2009-05-27 23:02:29 Mathematics Type theory Functional programming Category theory Logic in computer science Denotational semantics Initial algebra Semantics of programming languages F-algebra Software engineering Theoretical computer science Data types
846	Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:38:50 Propositional calculus Boolean algebra Non-classical logic Logic in computer science Cut-elimination theorem Intuitionistic logic Sequent calculus Sequent First-order logic Mathematical logic Logic Proof theory
847	DuraFly_3.72_TemplateRevised Add to Reading List Source URL: www.ahrma.org Language: English - Date: 2014-12-28 02:39:52 Euler Maxima Emergency medical services in the United States Array programming languages Computer algebra Sage Symbolic computation MATLAB Matrix Software Mathematical software Science
848	Euler Math Toolbox - Introduction Add to Reading List Source URL: euler.rene-grothmann.de Language: English - Date: 2015-01-13 09:31:22 Euler Maxima Emergency medical services in the United States Array programming languages Computer algebra Sage Symbolic computation MATLAB Matrix Software Mathematical software Science
849	INDEX Accurate dot product, 8, 101{102, 104{105 ACRITH, 102{103 ACRITH-XSC, 100, 102{103 Ada, 43, 103, 105 Add to Reading List Source URL: interval.louisiana.edu Language: English - Date: 2011-10-27 23:45:21 Operations research Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Preconditioner Mathematical optimization Linear programming Interval Mathematics Numerical linear algebra Software
850	- APPENDIX 6A LETTER TO THOSE ASSISTING IN COMPILATION OF BIBLIOGRAPHIES Add to Reading List Source URL: sigir.org Language: English - Date: 2008-09-08 13:20:06 Constrained writing Word square Classical cipher Computer programming Abstract algebra Geometry

UPDATE